Program analysis - PDFSEARCH.IO - Document Search Engine

Program analysis
Results: 6751

#	Item
981	RESEARCH AREAS Melbourne Institute Centre for Business Cycle Analysis Introduction In 2001 the Melbourne Institute Centre for Business Cycle Analysis (MICBA) continued with its major program of research on business cycle Add to Reading List Source URL: melbourneinstitute.com Language: English - Date: 2002-08-21 20:53:27 Technology Economic data Household Income and Labour Dynamics in Australia Survey Panel data The Melbourne Institute of Applied Economic and Social Research Innovation Committee for Economic Development of Australia Productivity Colm Kearney Economy of Australia Statistics Economics
982	DATA-FLOW ANALYSIS FOR INTERRUPT-DRIVEN MICROCONTROLLER SOFTWARE by Nathan Cooprider Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2008-11-07 14:48:31 Compiler optimizations Programming language implementation Embedded systems TinyOS Microcontroller Data-flow analysis Program analysis Compiler Constant folding Computing Software engineering Programming language theory
983	Embedded Systems Conference April 3-7, San Jose [ESC-447] Safety-Critical Design Techniques for Secure and Reliable Systems Robert B. K. Dewar AdaCore Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-15 14:00:58 Ada programming language Program analysis Formal methods Avionics Type theory SPARK Ada Static program analysis Software bug Computing Software engineering Programming language theory
984	Advanced Program Analyses for Object-oriented Systems Dr. Barbara G. Ryder Rutgers University http://www.cs.rutgers.edu/~ryder http://prolangs.rutgers.edu/ Add to Reading List Source URL: people.cs.vt.edu Language: English - Date: 2007-12-23 13:13:59 Infimum Supremum Mathematics Dependence analysis Abstraction Computing Order theory Dataflow Lattice
985	Automatic Bug Detection in Microcontroller Software by Static Program Analysis Ansgar Fehnker1 , Ralf Huuck1 , Bastian Schlich2 , and Michael Tapp1 2 Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2009-03-06 00:11:00 Embedded systems Central processing unit Special function register Immunity-aware programming Computer architecture Interrupts Microcontrollers
986	Assimilation of SSMIS UAS brightness temperature observations for mesospheric analysis Karl Hoppel, Steve Swadley Naval Research Laboratory A major impediment for achieving ground to space NWP capability, is the lack of Add to Reading List Source URL: ee.nmt.edu Language: English - Date: 2012-04-29 18:01:40 Radiometry Atmospheric radiative transfer codes Weather prediction Statistical forecasting Community Radiative Transfer Model Data assimilation Special sensor microwave/imager SSMIS Defense Meteorological Satellite Program Atmospheric sciences Meteorology Spacecraft
987	MVHR Meta Study MEARU undertook a meta-study of domestic projects funded by the Technology Strategy Board (TSB) under the Building Performance Evaluation programme. The selected housing projects are Add to Reading List Source URL: www.gsa.ac.uk Language: English - Date: 2014-09-10 12:15:44 Systematic review Department for Business Innovation and Skills Knowledge transfer Technology Strategy Board Technology strategy Program management Meta-analysis Trustee Savings Bank Knowledge Science Innovation
988	Technical Analysis tools and guidance for implementation of the Oregon Air Toxics Program Add to Reading List Source URL: www.oregon.gov Language: English - Date: 2014-05-01 17:51:23 Air pollution Soil contamination Particulates Benzene Pollution Atmosphere Environment
989	User Manual Frama-C User Manual Release NitrogenLoïc Correnson, Pascal Cuoq, Florent Kirchner, Virgile Prevosto, Armand Puccetti, Julien Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:52 Program analysis Computer programming Static program analysis Plug-in Software Frama-C Computing
990	A Temporal View of Time for Event-History Analysis G¨ otz Rohwer Author’s address: Ruhr-Universit¨at Bochum. Fakult¨ Add to Reading List Source URL: www.stat.ruhr-uni-bochum.de Language: English - Date: 2014-02-26 08:39:04 Dimension Philosophy of physics Time Ontology Event Spacetime Philosophy of space and time Program Evaluation and Review Technique Present Physics Philosophy of time Metaphysics

UPDATE